From: Jasper St. Pierre <jstpierre@mecheye.net>
Date: Tue, 27 Nov 2012 22:40:40 +0000 (-0500)
Subject: workspacesViews: Update new padding rules for workspacesOnlyOnPrimary
X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~1013^2^2~5359
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=bb88265d781a161721b1c69a9402d3c03fbbbf50;p=gnome-shell.git

workspacesViews: Update new padding rules for workspacesOnlyOnPrimary

Tim Lunn fixed this for the !workspacesOnlyOnPrimary case, but not the
other.
---

diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js
index e99fe3dc3..3528c9ad6 100644
--- a/js/ui/workspacesView.js
+++ b/js/ui/workspacesView.js
@@ -128,8 +128,11 @@ const WorkspacesView = new Lang.Class({
                 continue;
 
             let ws = new Workspace.Workspace(null, i);
-            ws.setGeometry(monitors[i].x, monitors[i].y,
-                           monitors[i].width, monitors[i].height);
+            let overviewSpacing = Main.overview._spacing;
+            ws.setGeometry(monitors[i].x + overviewSpacing/2,
+                           monitors[i].y + overviewSpacing/2,
+                           monitors[i].width - overviewSpacing,
+                           monitors[i].height - overviewSpacing);
             global.overlay_group.add_actor(ws.actor);
             this._extraWorkspaces.push(ws);
         }